Formalizing Real-Time Embedded System into Promela
نویسندگان
چکیده
منابع مشابه
Embedded Real-Time System Considerations
..................................................................................................................................................
متن کاملExtending Promela and Spin for Real Time
The efficient representation and manipulation of time information is key to any successful implementation of a verification tool. We extend the syntax and semantics of the higher level specification language Promela to include constructs and statements based on the model of timed Bfichi automata [2]. We implement these extensions on top of the verification tool Spin.
متن کاملEmbedded vision system for real-time applications
There is an increasing demand for low-power, low-cost, realtime vision systems able to perform a reliable analysis of a visual scene: especially in environments where the lighting is not controlled. In the automotive industry, for instance, there are many potential applications including lane-departure warnings, seat-occupancy detection, blind-angle monitoring and pedestrian detection. But ther...
متن کاملReal-time SVC Decoder in Embedded System
Scalable Video Coding (SVC) has been standardized as an annexure to the already existing H.264 specification to bring more scalability into the already existing video standard, keeping the compatibility with it. Naturally, the immediate support for this in embedded system will be based on the existing implementations of H.264. This paper deals with the implementation of SVC decoder in SoC built...
متن کاملAutomation of Real-time Embedded System Design
The goal of this paper is to present a tool for automation of designing of real-time embedded system which time-behaviour description is based on formal methods approach. Formal description of the system is based on timed automata diagrams and its temporal logic verification. The purpose of this tool is to automate process of transferring timed automata diagrams into real-time operating system ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: MATEC Web of Conferences
سال: 2015
ISSN: 2261-236X
DOI: 10.1051/matecconf/20153503003